/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

package tracetoautomata;

import alloytoy.AlloyFunctions;
import edu.mit.csail.sdg.alloy4.ConstList;
import edu.mit.csail.sdg.alloy4.SafeList;
import edu.mit.csail.sdg.alloy4compiler.ast.Module;
import edu.mit.csail.sdg.alloy4compiler.ast.Sig;

/**
 *
 * @author daniel
 */
public class TraceTransform {

    AlloyFunctions instance;

    public TraceTransform(AlloyFunctions model){
        instance = model;
    }

    public void transform(){
        Module m = instance.getModule();
        ConstList<Sig> sigs = m.getAllReachableSigs();
        
    }
    


}
